Algebraic Techniques for Constructing Minimal Weight

نویسندگان

  • Vasken Bohossian
  • Jehoshua Bruck
چکیده

A linear threshold element computes a function that is a sign of a weighted sum of the input variables. The weights are arbitrary integers; actually, they can be very big integers| exponential in the number of the input variables. While in the present literature a distinction is made between the two extreme cases of linear threshold functions with polynomial-size weights as opposed to those with exponential-size weights, the best known lower bounds on the size of threshold circuits are for depth-2 circuits with small weights. Our main contributions are devising two distinct methods for constructing threshold functions with minimal weights and lling up the gap between polynomial and exponential weight growth by further reening the separation. Namely, we prove that the class of linear threshold functions with polynomial-size weights can be divided into subclasses according to the degree of the polynomial. In fact, we prove a more general result|that there exists a minimal weight linear threshold function for any arbitrary number of inputs and any weight size.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Algebraic Techniques for Constructing Minimal Weight Threshold Functions

A linear threshold element computes a function that is a sign of a weighted sum of the input variables. The best known lower bounds on the size of threshold circuits are for depth-2 circuits with small (polynomial-size) weights. However, in general, the weights are arbitrary integers and can be of exponential size in the number of input variables. Namely, obtaining progress in lower bounds for ...

متن کامل

Minimal Order Discrete-time Nonlinear System Inversion

The left-inverse system with minimal order of a discrete-time nonlinear system is studied in a linear algebraic framework. The general structure of the left inverse is described. Two algorithms are given for constructing left-inverse systems having minimal order.

متن کامل

Toward Nevanlinna-galois Theory for Algebraic Minimal Surfaces

A complete minimal surface in R is said to be pseudo-algebraic, if its Weierstrass data are defined on a compact Riemann surface finitely many points removed M = M\{P1, . . . , Pn} and extend meromorphically across punctures ([KKM], see also [G]). The punctured Riemann surface M on which the Weierstrass data are defined is called the basic domain. The difference between a complete minimal surfa...

متن کامل

Symbolic Computation for Rankin-Cohen Differential Algebras

Zagier pursues the study of the algebraic structure that this operation gives to the ring of modular forms viewed as a differential module, observing that it is “not clear how far we would have to go to get the first relation or how much further to ensure that all subsequent relations obtained would be consequences of ones already found”. Instead of determining the relations, he proposes the ab...

متن کامل

A constructive count of rotation symmetric functions

In this paper we present a constructive detection of minimal monomials in the algebraic normal form of rotation symmetric Boolean functions (immune to circular translation of indices). This helps in constructing rotation symmetric Boolean functions by respecting the rules we present here.  2003 Elsevier B.V. All rights reserved.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2007